//
// Created by wkm on 2024-04-17.
//

#ifndef AES128CHIPSYSTEMC_XBTIME_TEST_H
#define AES128CHIPSYSTEMC_XBTIME_TEST_H

#include "../FiniteFieldMul/xBtime.h"
#include "xBtime_driver.h"
#include "xBtime_monitor.h"

void xBtime_test();

#endif //AES128CHIPSYSTEMC_XBTIME_TEST_H
